Optimal. Leaf size=220 \[ \frac {2 a (A b-a B) \sin (c+d x)}{b d \left (a^2-b^2\right ) \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}-\frac {2 (A b-a B) \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)} E\left (\frac {1}{2} (c+d x)|\frac {2 a}{a+b}\right )}{b d \left (a^2-b^2\right ) \sqrt {\frac {a \cos (c+d x)+b}{a+b}}}+\frac {2 B \sqrt {\frac {a \cos (c+d x)+b}{a+b}} \Pi \left (2;\frac {1}{2} (c+d x)|\frac {2 a}{a+b}\right )}{b d \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.79, antiderivative size = 220, normalized size of antiderivative = 1.00, number of steps used = 10, number of rules used = 10, integrand size = 35, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.286, Rules used = {2955, 4029, 4108, 3859, 2807, 2805, 21, 3856, 2655, 2653} \[ \frac {2 a (A b-a B) \sin (c+d x)}{b d \left (a^2-b^2\right ) \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}-\frac {2 (A b-a B) \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)} E\left (\frac {1}{2} (c+d x)|\frac {2 a}{a+b}\right )}{b d \left (a^2-b^2\right ) \sqrt {\frac {a \cos (c+d x)+b}{a+b}}}+\frac {2 B \sqrt {\frac {a \cos (c+d x)+b}{a+b}} \Pi \left (2;\frac {1}{2} (c+d x)|\frac {2 a}{a+b}\right )}{b d \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 21
Rule 2653
Rule 2655
Rule 2805
Rule 2807
Rule 2955
Rule 3856
Rule 3859
Rule 4029
Rule 4108
Rubi steps
\begin {align*} \int \frac {A+B \sec (c+d x)}{\cos ^{\frac {3}{2}}(c+d x) (a+b \sec (c+d x))^{3/2}} \, dx &=\left (\sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \frac {\sec ^{\frac {3}{2}}(c+d x) (A+B \sec (c+d x))}{(a+b \sec (c+d x))^{3/2}} \, dx\\ &=\frac {2 a (A b-a B) \sin (c+d x)}{b \left (a^2-b^2\right ) d \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}+\frac {\left (2 \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \frac {-\frac {1}{2} a (A b-a B)-\frac {1}{2} b (A b-a B) \sec (c+d x)+\frac {1}{2} \left (a^2-b^2\right ) B \sec ^2(c+d x)}{\sqrt {\sec (c+d x)} \sqrt {a+b \sec (c+d x)}} \, dx}{b \left (a^2-b^2\right )}\\ &=\frac {2 a (A b-a B) \sin (c+d x)}{b \left (a^2-b^2\right ) d \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}+\frac {\left (2 \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \frac {-\frac {1}{2} a (A b-a B)-\frac {1}{2} b (A b-a B) \sec (c+d x)}{\sqrt {\sec (c+d x)} \sqrt {a+b \sec (c+d x)}} \, dx}{b \left (a^2-b^2\right )}+\frac {\left (B \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \frac {\sec ^{\frac {3}{2}}(c+d x)}{\sqrt {a+b \sec (c+d x)}} \, dx}{b}\\ &=\frac {2 a (A b-a B) \sin (c+d x)}{b \left (a^2-b^2\right ) d \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}+\frac {\left ((-A b+a B) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \frac {\sqrt {a+b \sec (c+d x)}}{\sqrt {\sec (c+d x)}} \, dx}{b \left (a^2-b^2\right )}+\frac {\left (B \sqrt {b+a \cos (c+d x)}\right ) \int \frac {\sec (c+d x)}{\sqrt {b+a \cos (c+d x)}} \, dx}{b \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}\\ &=\frac {2 a (A b-a B) \sin (c+d x)}{b \left (a^2-b^2\right ) d \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}+\frac {\left (B \sqrt {\frac {b+a \cos (c+d x)}{a+b}}\right ) \int \frac {\sec (c+d x)}{\sqrt {\frac {b}{a+b}+\frac {a \cos (c+d x)}{a+b}}} \, dx}{b \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}+\frac {\left ((-A b+a B) \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}\right ) \int \sqrt {b+a \cos (c+d x)} \, dx}{b \left (a^2-b^2\right ) \sqrt {b+a \cos (c+d x)}}\\ &=\frac {2 B \sqrt {\frac {b+a \cos (c+d x)}{a+b}} \Pi \left (2;\frac {1}{2} (c+d x)|\frac {2 a}{a+b}\right )}{b d \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}+\frac {2 a (A b-a B) \sin (c+d x)}{b \left (a^2-b^2\right ) d \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}+\frac {\left ((-A b+a B) \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}\right ) \int \sqrt {\frac {b}{a+b}+\frac {a \cos (c+d x)}{a+b}} \, dx}{b \left (a^2-b^2\right ) \sqrt {\frac {b+a \cos (c+d x)}{a+b}}}\\ &=\frac {2 B \sqrt {\frac {b+a \cos (c+d x)}{a+b}} \Pi \left (2;\frac {1}{2} (c+d x)|\frac {2 a}{a+b}\right )}{b d \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}-\frac {2 (A b-a B) \sqrt {\cos (c+d x)} E\left (\frac {1}{2} (c+d x)|\frac {2 a}{a+b}\right ) \sqrt {a+b \sec (c+d x)}}{b \left (a^2-b^2\right ) d \sqrt {\frac {b+a \cos (c+d x)}{a+b}}}+\frac {2 a (A b-a B) \sin (c+d x)}{b \left (a^2-b^2\right ) d \sqrt {\cos (c+d x)} \sqrt {a+b \sec (c+d x)}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 32.37, size = 50122, normalized size = 227.83 \[ \text {Result too large to show} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {B \sec \left (d x + c\right ) + A}{{\left (b \sec \left (d x + c\right ) + a\right )}^{\frac {3}{2}} \cos \left (d x + c\right )^{\frac {3}{2}}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 2.95, size = 840, normalized size = 3.82 \[ \frac {2 \left (-1+\cos \left (d x +c \right )\right ) \sqrt {\frac {b +a \cos \left (d x +c \right )}{\cos \left (d x +c \right )}}\, \left (1+\cos \left (d x +c \right )\right )^{2} \left (A \sqrt {\frac {a -b}{a +b}}\, \cos \left (d x +c \right ) \sqrt {\frac {1}{1+\cos \left (d x +c \right )}}\, b +A \sin \left (d x +c \right ) \EllipticF \left (\frac {\left (-1+\cos \left (d x +c \right )\right ) \sqrt {\frac {a -b}{a +b}}}{\sin \left (d x +c \right )}, \sqrt {-\frac {a +b}{a -b}}\right ) \sqrt {\frac {b +a \cos \left (d x +c \right )}{\left (1+\cos \left (d x +c \right )\right ) \left (a +b \right )}}\, b -A \sin \left (d x +c \right ) \sqrt {\frac {b +a \cos \left (d x +c \right )}{\left (1+\cos \left (d x +c \right )\right ) \left (a +b \right )}}\, \EllipticE \left (\frac {\left (-1+\cos \left (d x +c \right )\right ) \sqrt {\frac {a -b}{a +b}}}{\sin \left (d x +c \right )}, \sqrt {-\frac {a +b}{a -b}}\right ) b -B \cos \left (d x +c \right ) \sqrt {\frac {a -b}{a +b}}\, a \sqrt {\frac {1}{1+\cos \left (d x +c \right )}}-2 B \sin \left (d x +c \right ) \EllipticF \left (\frac {\left (-1+\cos \left (d x +c \right )\right ) \sqrt {\frac {a -b}{a +b}}}{\sin \left (d x +c \right )}, \sqrt {-\frac {a +b}{a -b}}\right ) \sqrt {\frac {b +a \cos \left (d x +c \right )}{\left (1+\cos \left (d x +c \right )\right ) \left (a +b \right )}}\, a -B \sin \left (d x +c \right ) \EllipticF \left (\frac {\left (-1+\cos \left (d x +c \right )\right ) \sqrt {\frac {a -b}{a +b}}}{\sin \left (d x +c \right )}, \sqrt {-\frac {a +b}{a -b}}\right ) \sqrt {\frac {b +a \cos \left (d x +c \right )}{\left (1+\cos \left (d x +c \right )\right ) \left (a +b \right )}}\, b +B \EllipticE \left (\frac {\left (-1+\cos \left (d x +c \right )\right ) \sqrt {\frac {a -b}{a +b}}}{\sin \left (d x +c \right )}, \sqrt {-\frac {a +b}{a -b}}\right ) \sin \left (d x +c \right ) \sqrt {\frac {b +a \cos \left (d x +c \right )}{\left (1+\cos \left (d x +c \right )\right ) \left (a +b \right )}}\, a +2 B \sin \left (d x +c \right ) \sqrt {\frac {b +a \cos \left (d x +c \right )}{\left (1+\cos \left (d x +c \right )\right ) \left (a +b \right )}}\, \EllipticPi \left (\frac {\left (-1+\cos \left (d x +c \right )\right ) \sqrt {\frac {a -b}{a +b}}}{\sin \left (d x +c \right )}, \frac {a +b}{a -b}, \frac {i}{\sqrt {\frac {a -b}{a +b}}}\right ) a +2 B \sin \left (d x +c \right ) \sqrt {\frac {b +a \cos \left (d x +c \right )}{\left (1+\cos \left (d x +c \right )\right ) \left (a +b \right )}}\, \EllipticPi \left (\frac {\left (-1+\cos \left (d x +c \right )\right ) \sqrt {\frac {a -b}{a +b}}}{\sin \left (d x +c \right )}, \frac {a +b}{a -b}, \frac {i}{\sqrt {\frac {a -b}{a +b}}}\right ) b -A \sqrt {\frac {a -b}{a +b}}\, \sqrt {\frac {1}{1+\cos \left (d x +c \right )}}\, b +B \sqrt {\frac {a -b}{a +b}}\, a \sqrt {\frac {1}{1+\cos \left (d x +c \right )}}\right ) \left (\sqrt {\cos }\left (d x +c \right )\right ) \sqrt {\frac {a -b}{a +b}}\, \sqrt {\frac {1}{1+\cos \left (d x +c \right )}}}{d b \left (b +a \cos \left (d x +c \right )\right ) \left (a -b \right ) \sin \left (d x +c \right )^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {B \sec \left (d x + c\right ) + A}{{\left (b \sec \left (d x + c\right ) + a\right )}^{\frac {3}{2}} \cos \left (d x + c\right )^{\frac {3}{2}}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {A+\frac {B}{\cos \left (c+d\,x\right )}}{{\cos \left (c+d\,x\right )}^{3/2}\,{\left (a+\frac {b}{\cos \left (c+d\,x\right )}\right )}^{3/2}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________